Zeilberger, Noam: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the unity of duality

Noam Zeilberger

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 422 KB

english, 2008

2

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Functors are Type Refinement Systems

Melliès, Paul-André, Zeilberger, Noam

Year:

2015

Language:

english

File:

PDF, 782 KB

english, 2015

3

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Focusing and higher-order abstract syntax

Zeilberger, Noam

Year:

2008

Language:

english

File:

PDF, 417 KB

english, 2008

4

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Polarity and the Logic of Delimited Continuations

Zeilberger, Noam

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

5

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Focusing on Binding and Computation

Licata, Daniel R., Zeilberger, Noam, Harper, Robert

Year:

2008

Language:

english

File:

PDF, 308 KB

english, 2008

6

Focusing and higher-order abstract syntax

Zeilberger, Noam

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 417 KB

english, 2008

7

Functors are Type Refinement Systems

Melliès, Paul-André, Zeilberger, Noam

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 782 KB

english, 2015

8

An Isbell duality theorem for type refinement systems

MELLIÈS, PAUL-ANDRÉ, ZEILBERGER, NOAM

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 334 KB

english, 2017

9

Linear lambda terms as invariants of rooted trivalent maps

ZEILBERGER, NOAM

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 258 KB

english, 2016

10

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Melliès, Paul-André, Zeilberger, Noam

Year:

2016

Language:

english

File:

PDF, 354 KB

english, 2016

11

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - A theory of linear typings as flows on 3-valent graphs

Zeilberger, Noam

Year:

2018

Language:

english

File:

PDF, 716 KB

english, 2018

12

The Sequent Calculus of Skew Monoidal Categories

Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 352 KB

english, 2018

13

Bifibrations of Polycategories and Classical Linear Logic

Blanco, Nicolas, Zeilberger, Noam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 337 KB

2020